/* arch/x86_64/include/kernel/archinfo.h 
 * 
 * This file is part of xnix. 
 * 
 * XNIX is free software: you can redistribute it and/or modify 
 * it under the terms of the GNU General Public License as published by 
 * the Free Software Foundation, either version 3 of the License, or 
 * (at your option) any later version. 
 * 
 * XNIX is distributed in the hope that it will be useful, 
 * but WITHOUT ANY WARRANTY; without even the implied warranty of 
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 
 * GNU General Public License for more details. 
 * 
 * You should have received a copy of the GNU General Public License 
 * along with XNIX. If not, see <https://www.gnu.org/licenses/>
 */ 




#ifndef ARCH_INFO_H
#define ARCH_INFO_H


#define PAGE_SIZE 	4096lu
#define PAGE_SHIFT 	12lu

#define ARCH_NAME 	"x86_64"
#define ARCH_BITS 	64lu

#ifndef __ASSEMBLER__

typedef __uint64_t __archptr_t;
typedef __uint64_t __archlong_t;


#endif

#endif
